Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
171	An Introduction to Information Retrieval Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2009-04-01 00:34:27 XML-Retrieval Relevance feedback Search engine indexing Extended Boolean model Document retrieval Query expansion Binary Independence Model Tf*idf Relevance Information science Information retrieval Vector space model
172	Supplement of Geosci. Model Dev., 7, 1069–1092, 2014 http://www.geosci-model-dev.net/gmddoi:gmdsupplement © Author(sCC Attribution 3.0 License. Supplement of Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2015-01-22 09:14:58 Semantics Partial differential equations FALSE Negation True and false Wave Linguistics Logic Computing Boolean algebra Propositional calculus
173	Review of12 Boolean Function Complexity: Advances and Frontiers by Stasys Jukna Springer, pages, $85.00, HARDCOVER Review by Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2013-10-30 13:45:27 Circuit complexity Complexity classes Logic in computer science Switching lemma Circuit Boolean circuit NC AC Decision tree model Theoretical computer science Applied mathematics Computational complexity theory
174	A Model of Transcriptional Regulatory Networks Based on Biases in the Observed Regulation Rules STEPHEN E. HARRIS, 1 BRUCE K. SAWHILL, 2 ANDREW WUENSCHE, 3 AND STUART KAUFFMAN 2 1 Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2008-05-05 08:00:09 Molecular biology DNA Networks Gene regulatory network Boolean network Gene Promoter Regulation of gene expression Transcription factor Biology Gene expression Genetics
175	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 2, Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Diagrams Binary decision diagram Boolean algebra Model checking Graph theory Graph Directed acyclic graph Prolog Binary relation Mathematics Theoretical computer science Relational model
176	Exploring the Similarity Space Justin Zobel∗ Alistair Moffat† Abstract Ranked queries are used to locate relevant documents in text databases. In a ranked query a list Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2002-06-19 00:37:28 Tf*idf Cosine similarity Relevance Search engine indexing Extended Boolean model Fuzzy retrieval Information science Information retrieval Vector space model
177	A Model of Persuasion with Boundedly Rational Agents Author(s): Jacob Glazer and Ariel Rubinstein Reviewed work(s): Source: Journal of Political Economy, Vol. 120, No. 6 (December 2012), pp[removed]Published by: The U Add to Reading List Source URL: arielrubinstein.tau.ac.il Language: English - Date: 2013-03-16 06:32:05 Classical logic Propositional calculus Mathematical logic Logic Boolean algebra
178	Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:58:16 Model theory Automated theorem proving Boolean algebra Metalogic First-order logic Function True quantified Boolean formula Skolem normal form Resolution Mathematics Logic Mathematical logic
179	Abstracta 6 : 1, pp. 117 – 135, 2010 CARNAP’S PROBLEM: WHAT IS IT LIKE TO BE A NORMAL INTERPRETATION OF CLASSICAL LOGIC?* Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:08 Propositional calculus Semantics Boolean algebra Model theory Algebraic logic Interpretation Entailment Valuation Truth table Logic Mathematical logic Mathematics
180	Stochastic λ-Calculi Dana S. Scott University Professor, Emeritus Carnegie Mellon University Visiting Scholar in Mathematics Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-08-27 15:54:05 Boolean algebra Forcing Metalogic Lambda calculus Boolean-valued model Constructible universe FO Model theory Combinatory logic Mathematical logic Mathematics Theoretical computer science

UPDATE